Interactive proof system - PDFSEARCH.IO - Document Search Engine

Interactive proof system
Results: 103

#	Item
11	Batch Proofs of Partial Knowledge Ryan Henry and Ian Goldberg Cheriton School of Computer Science University of Waterloo Waterloo, ON, Canada N2L 3G1 Add to Reading List Source URL: cacr.uwaterloo.ca Language: English - Date: 2013-02-12 09:54:17 Zero-knowledge proof IP Soundness Commitment scheme NP Interactive proof system Non-interactive zero-knowledge proof Cryptography Cryptographic protocols Proof of knowledge
12	Batch Proofs of Partial Knowledge? Ryan Henry and Ian Goldberg Cheriton School of Computer Science University of Waterloo Waterloo, ON, Canada N2L 3G1 Add to Reading List Source URL: www.cypherpunks.ca Language: English - Date: 2013-05-03 09:29:37 Proof of knowledge Zero-knowledge proof IP Soundness Commitment scheme NP Interactive proof system Non-interactive zero-knowledge proof Cryptography Cryptographic protocols Theoretical computer science
13	Lance Jeremy Fortnow Georgia Institute of Technology School of Computer Science 266 Ferst Drive Atlanta, GA 30332 Add to Reading List Source URL: lance.fortnow.com Language: English - Date: 2014-06-05 11:48:59 Carsten Lund Computational learning theory Sparse language IP ACM SIGACT Computer science International Colloquium on Automata Languages and Programming Interactive proof system Probabilistically checkable proof Theoretical computer science Applied mathematics Computational complexity theory
14	Implementation of Group Member Authentication Protocol in Mobile Ad-hoc Networks Hitoshi Asaeda∗ , Musfiq Rahman† , Mohammad Hossein Manshaei‡ , Yasuko Fukuzawa§ University, Graduate School of Media and Governance Add to Reading List Source URL: web.sfc.wide.ad.jp Language: English - Date: 2006-01-24 03:14:56 Key management Electronic commerce Verifiable secret sharing Key distribution Interactive proof system Diffie–Hellman key exchange Authentication Secret sharing Computer network Cryptography Cryptographic protocols Public-key cryptography
15	A Machine-Checked Formalization of Σ-Protocols Santiago Zanella-B´eguelin1 Gilles Barthe1 Daniel Hedin1 Benjamin Gr´egoire2 Sylvain Heraud2 1 IMDEA Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Zero-knowledge proof Soundness Alice and Bob Feige–Fiat–Shamir identification scheme Interactive proof system Proof of knowledge Cryptography Cryptographic protocols IP
16	A Machine-Checked Formalization of Σ-Protocols Santiago Zanella-B´eguelin1 Gilles Barthe1 Daniel Hedin1 Benjamin Gr´egoire2 Sylvain Heraud2 1 IMDEA Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Zero-knowledge proof Soundness Alice and Bob Feige–Fiat–Shamir identification scheme Interactive proof system Proof of knowledge Cryptography Cryptographic protocols IP
17	Retraction of Probabilistic Computation and Linear Time Lance Fortnow Michael Sipser MIT Math Dept. Cambridge, MA 02139 Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2010-05-13 09:33:41 Structural complexity theory Complexity classes Models of computation Lance Fortnow Probabilistic complexity theory Interactive proof system IP Bounded-error probabilistic polynomial Probabilistic Turing machine Theoretical computer science Computational complexity theory Applied mathematics
18	Proving Computational Ability Mihir Bellare Oded Goldreichy August 1992 Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2014-06-22 06:28:46 IP Interactive proof system Mathematics Zero-knowledge proof Soundness Expected value Non-interactive zero-knowledge proof Information Cryptographic protocols Applied mathematics Proof of knowledge
19	How to Go Beyond the Black-Box Simulation Barrier Boaz Barak∗ December 30, 2008 Abstract The simulation paradigm is central to cryptography. A simulator is an algorithm that tries Add to Reading List Source URL: www.boazbarak.org Language: English - Date: 2011-10-10 23:51:40 Probabilistic complexity theory Cryptographic protocols Computational complexity theory Complexity classes Zero-knowledge proof Interactive proof system IP Commitment scheme NP Theoretical computer science Applied mathematics Cryptography
20	Curriculum Vitae Silvio Micali Ford Professor of Engineering Electrical Engineering and Computer Science Department Stata Center, Room G644, 32 Vassar Street, Cambridge, MA5949 Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2015-04-22 20:29:48 Verifiable secret sharing Gödel Prize Interactive proof system Claude Crépeau Pseudorandom function family Probabilistic encryption Oblivious transfer Zero-knowledge proof Provable security Cryptography Cryptographic protocols Silvio Micali